81. Simple program schemes and formal languages
Author: Engelfriet, Joost
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Formal languages,، Programming )Electronic computers(
Classification :
QA
267
.
3
.
E53
82. Symposium on Semantics of Algorithmic Languages
Author: edited by E. Engeler
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
Classification :
QA
3
.
L28
Vol
.
188
83. Symposium on semantics of algorithmic languages
Author: edited by E. Engeler
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms
Classification :
QA
1
.
L4
v
.
188
84. Symposium on semantics of algorithmic languages
Author: / edited by E. Engeler
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics -- Congresses,Formal languages -- Congresses,Computer algorithms -- Congresses
Classification :
QA
76
.
7
.
S9
1971
85. Symposium on semantics of algorithmic languages
Author: edited by E.Engeler
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
Classification :
QA
3
.
L28
no
.
188
86. Syntax-directed semantics :
Author: Zoltán Fülöp, Heiko Vogler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Codegenerierung,Programming languages (Electronic computers) -- Semantics.,Transducers.
Classification :
QA76
.
7
Z658
1998
87. The Art of Modelling Computational Systems :
Author: Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)
Classification :
QA76
.
7
.
A78
2019
88. The Logic of Partial Information
Author: by Areski Nait Abdallah.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
7
B937
1995
89. The formal semantics of programming languages
Author: / Glynn Winskel
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics
Classification :
QA
76
.
7
.
W555
1993
90. Towards a formal description of Ada
Author: edited by D. Bjorner and O.N. Oest
Library: Central Library and Documentation Center (Kerman)
Subject: ، Ada )Computer program language(,، Programming languages )Electronic computers( - Semantics
Classification :
QA
76
.
L4
v
.
98
91. Towards a formal description of Ada
Author: edited by D. Bjørner and O.N. Oest.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),ADA.,Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
73
.
A35
E358
1980
92. Type systems for distributed programs :
Author: Ornela Dardha
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification,Electronic data processing-- Distributed processing,Programming languages (Electronic computers)
Classification :
QA76
.
76
.
V47
93. Using formal description techniques
Author: / edited by Kenneth J. Turner
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Electronic digital computers - Programming,Formal languages
Classification :
QA
76
.
6
.
U848
1993
94. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
Author: edited by Kenneth J. Turner
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers - Programming , Formal languages
Classification :
QA
76
.
6
.
U848
1993
95. XML Schema /
Author: Eric van der Vlist.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: XML (Document markup language),COMPUTERS-- Data Processing.,COMPUTERS-- Programming Languages-- XML.,Langages de balisage.,XML (Document markup language),XML.
Classification :
QA76
.
76
.
H94
V36
2002
